do {
    a;
}while (b)
